Self-Commuting Quantifiers
نویسنده
چکیده
We characterize the generalized quantifiers Q which satisfy the scheme QxQyφ ↔ QyQxφ, the so-called self-commuting quantifiers, or quantifiers with the Fubini property.
منابع مشابه
Commutative Locative Quantifiers for Multiplicative Linear Logic
The paper presents a solution to the technical problem posed by Girard after the introduction of Ludics of how to define proof nets with quantifiers that commute with multiplicatives. According to the principles of Ludics, the commuting quantifiers have a “locative” nature, in particular, quantified formulas are not defined modulo variable renaming. The solution is given by defining a new corre...
متن کاملSelf-commuting Lattice Polynomial Functions on Chains
We provide sufficient conditions for a lattice polynomial function to be self-commuting. We explicitly describe self-commuting polynomial functions on chains.
متن کاملHealthscapes of self-quantification. Quantifying, knowing and improving one’s self: transforming health
Self-quantification practices are often described as knowledge-making, as the maxim of quantifiers “self-knowledge through numbers” makes clear. In this narrative, data is knowledge, knowledge is power, and knowing oneself is central to endeavours to improve health. This article complicates this story, investigating other health-related practices of self-quantification. Moving beyond “knowledge...
متن کاملThe Emergence of Quantifiers
Human natural languages use quantifiers as ways to designate the number of objects of a set. They include numerals, such as “three”, or circumscriptions, such as “a few”. The latter are not only underdetermined but also context dependent. We provide a cultural-evolution explanation for the emergence of such quantifiers, focusing in particular on the role of environmental constraints on strategy...
متن کاملCOMBINING FUZZY QUANTIFIERS AND NEAT OPERATORS FOR SOFT COMPUTING
This paper will introduce a new method to obtain the order weightsof the Ordered Weighted Averaging (OWA) operator. We will first show therelation between fuzzy quantifiers and neat OWA operators and then offer anew combination of them. Fuzzy quantifiers are applied for soft computingin modeling the optimism degree of the decision maker. In using neat operators,the ordering of the inputs is not...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 61 شماره
صفحات -
تاریخ انتشار 1996